int b1[] __attribute((section(".x1"))) = { 0x85, 0x86, 0x87, 0x88 };
int b2[] __attribute((section(".x2"))) = { 0x95, 0x96, 0x97, 0x98 };
int b3[] __attribute((section(".x3"))) = { 0xa5, 0xa6, 0xa7, 0xa8 };
int b4[] __attribute((section(".x4"))) = { 0xff, 0xff, 0xff, 0xff };
